翻訳と辞書 Words near each other ・ Henka Johansson ・ Henkayi ・ Henke ・ Henke & Pillot ・ Henkel ・ Henj ・ Henjak ・ Henjam ・ Henjo Richter ・ Henjō ・ Henk ・ Henk Aertsen ・ Henk Angenent ・ Henk Baars ・ Henk Badings ・ Henk Barendregt ・ Henk Beernink ・ Henk Bleker ・ Henk Blezer ・ Henk Bloemers ・ Henk Boeve ・ Henk Bos ・ Henk Bos (footballer) ・ Henk Bos (painter) ・ Henk Bosveld ・ Henk Bouwman ・ Henk Bremmer ・ Henk Breuker ・ Henk Brouwer ・ Henk Bruna Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Henk Barendregt ： ウィキペディア英語版 Henk Barendregt Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam)〔 Here: (Preface ), p.5〕 is a Dutch logician, known for his work in lambda calculus and type theory. == Life and work == Barendregt studied mathematical logic at Utrecht University, obtaining his Masters in 1968 and his Ph.D. in 1971, both ''cum laude'', under Dirk van Dalen and Georg Kreisel. After a postdoctoral position at Stanford University, he taught at Utrecht University. Since 1986, Barendregt has taught at Radboud University Nijmegen, where he now holds the Chair of Foundations of Mathematics and Computer Science. His research group works on Constructive Interactive Mathematics. He is also Adjunct Professor at Carnegie Mellon University, Pittsburgh, USA. He has been a visiting scholar at Darmstadt, ETH Zürich, Siena, and Kyoto. In 1997 Barendregt was elected member of the Royal Netherlands Academy of Arts and Sciences. On 6 February 2003 Barendregt was awarded the Spinozapremie for 2002, the highest scientific award in the Netherlands. In 2002 he was knighted in the Orde van de Nederlandse Leeuw. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Henk Barendregt」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.